The Mirror Fusion Test Facility (2023)
CBMC: C bounded model checker (2021)
Spotify getting into enterprise IT tools
The Matrix: A Bayesian learning model for LLMs
Vulture shortage threatens Zoroastrian burial rites
Folding and One Straight Cut Suffice [pdf] (1999)
Show HN: BandMatch – “Tinder” but for finding musicians to create bands/collab
Unique volumes of Brothers Grimm fairy tales discovered in Poland
Figma’s Journey to TypeScript
Show HN: I built a free in-browser Llama 3 chatbot powered by WebGPU
Was the Stone Age the Wood Age?
Trayd (YC S23) Is Hiring Technical Customer Success Associate
Understanding Open Podcast Prefix Project (OP3) with John Spurlock
Ask HN: How to handle user file uploads?
A Clock in the Forest
Recovering the master key from RAM to break Android's file-based encryption (2021)
I don't want to fill out your contact form
The Nature of Code (2nd Edition)
AI copilots are changing how coding is taught
The Physics of Karate (2021)
How hard can generating 1024-bit primes be?
I’m writing a new vector search SQLite Extension
SATO: Stable Text-to-Motion Framework
Making a 3D modeler in C in a week
I never stopped learning from Daniel Dennett
A Mathematical Theory of Communication [pdf]
DNS traffic can leak outside the VPN tunnel on Android
TORAX is a differentiable tokamak core transport simulator
Manta Ray UUV prototype completes in-water testing
Show HN: Bloom – A shadcn like UI library for Elixir and Phoenix